|
In abstract algebra, if ''I'' and ''J'' are ideals of a commutative ring ''R'', their ideal quotient (''I'' : ''J'') is the set : Then (''I'' : ''J'') is itself an ideal in ''R''. The ideal quotient is viewed as a quotient because if and only if . The ideal quotient is useful for calculating primary decompositions. It also arises in the description of the set difference in algebraic geometry (see below). (''I'' : ''J'') is sometimes referred to as a colon ideal because of the notation. In the context of fractional ideals, there is a related notion of the inverse of a fractional ideal. ==Properties== The ideal quotient satisfies the following properties: * as -modules, where denotes the annihilator of as an -module. * * * * * (as long as ''R'' is an integral domain) 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Ideal quotient」の詳細全文を読む スポンサード リンク
|